reduced-row echelon form four variables